Ident. | Authors (with country if any) | Title |
---|
000024 |
Valerio Modugno [Italie] ; Gerard Neumann [Allemagne] ; Elmar Rueckert [Allemagne] ; Giuseppe Oriolo [Italie] ; Jan Peters [Allemagne] ; Serena Ivaldi [France] | Learning soft task priorities for control of redundant robots |
000118 |
Bernardetta Addis [France] ; Roberto Aringhieri [Italie] ; Andrea Grosso [Italie] ; Pierre Hosteins [Italie] | Hybrid constructive heuristics for the critical node problem |
000141 |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
000143 |
Arturo Bevilacqua [Italie] ; Mariano Bizzarri [Italie] | Physiological role and clinical utility of inositols in polycystic ovary syndrome. |
000144 |
M. Rondy [France] ; J. Castilla [Espagne] ; O. Launay [France] ; S. Costanzo [Italie] ; C. Ezpeleta [Espagne] ; F. Galtier [France] ; K. De Gaetano Donati [Italie] ; A. Moren [France] | Moderate influenza vaccine effectiveness against hospitalisation with A(H3N2) and A(H1N1) influenza in 2013-14: Results from the InNHOVE network. |
000146 |
Tahar Chouihed [France] ; Stefano Coiro [Italie] ; Faiez Zannad [France] ; Nicolas Girerd [France] | Lung ultrasound: a diagnostic and prognostic tool at every step in the pathway of care for acute heart failure. |
000148 |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
000150 |
Donatella D'Eliseo [Italie] ; Giuliana Di Rocco [Italie] ; Rossella Loria [Italie] ; Silvia Soddu [Italie] ; Angela Santoni [Italie] ; Francesca Velotti [Italie] | Epitelial-to-mesenchimal transition and invasion are upmodulated by tumor-expressed granzyme B and inhibited by docosahexaenoic acid in human colorectal cancer cells. |
000154 |
Raymond Vanholder [Belgique] ; Denis Fouque [France] ; Griet Glorieux [Belgique] ; Gunnar H. Heine [Allemagne] ; Mehmet Kanbay [Turquie] ; Francesca Mallamaci [Italie] ; Ziad A. Massy [France] ; Alberto Ortiz [Espagne] ; Patrick Rossignol [France] ; Andrzej Wiecek [Pologne] ; Carmine Zoccali [Italie] ; Gérard Michel London [France] | Clinical management of the uraemic syndrome in chronic kidney disease. |
000262 |
Faezeh Rahbar [France] ; Salvatore Anzalone [France] ; Giovanna Varni [Italie] ; Elisabetta Zibetti [France] ; Serena Ivaldi [France] ; Mohamed Chetouani [France] | Predicting extraversion from non-verbal features during a face-to-face human-robot interaction |
000344 |
Andrea Bandini [Italie] ; Slim Ouni [France] ; Piero Cosi [Italie] ; Silvia Orlandi [Italie] ; Claudia Manfredi [Italie] | Accuracy of a markerless acquisition technique for studying speech articulators. In Interspeech 2015 |
000423 |
Paolo Ballarini [Italie] ; Benoît Barbot [France] ; Marie Duflot [France] ; Serge Haddad [France] ; Nihal Pekergin [France] | HASL: A new approach for performance evaluation and model checking from concepts to experimentation |
000527 |
Silvio Traversaro [Italie] ; Andrea Del Prete [France] ; Serena Ivaldi [France] ; Francesco Nori [Italie] | Inertial parameters identification and joint torques estimation with proximal force/torque sensing |
000536 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Sara Mattia [Italie] | Energy-aware survivable networks |
000690 |
Ana L. N. Fred [Portugal] ; Maria De Marsico [Italie] ; Antoine Tabbone [France] | Pattern Recognition Applications and Methods - Third International Conference, {ICPRAM} 2014, Angers, France, March 6-8, 2014, Revised Selected Papers |
000706 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Andrea Grosso [Italie] ; Lanzarone Ettore [Italie] ; Sara Mattia [Italie] ; Elena Tànfani [Italie] | Handling Uncertainty in Health Care Management using the Cardinality-Constrained Approach: Advantages and Remarks |
000737 |
Carmine Zoccali [Italie] ; Davide Bolignano ; Graziella D'Arrigo ; Friedo W. Dekker ; Danilo Fliser ; Gunnar H. Heine ; Kitty J. Jager ; Mehmet Kanbay ; Francesca Mallamaci ; Ziad Massy ; Alberto Ortiz ; Gianfranco Parati ; Patrick Rossignol ; Giovanni Tripepi ; Raymond Vanholder ; Andrzej Wiecek ; Gerard London | Validity of Vascular Calcification as a Screening Tool and as a Surrogate End Point in Clinical Research. |
000739 |
Stefano Coiro [Italie] ; João Pedro Ferreira [Portugal] ; Giuseppe Ambrosio [Italie] ; Faiez Zannad [France] ; Nicolas Girerd [France] | To the Editor--Diabetes and sudden death: Let's assess the absolute risk increase rather than the proportional risk from sudden cardiac death! |
000744 |
P. Rocheteau [France] ; L. Chatre [France] ; D. Briand [France] ; M. Mebarki [France] ; G. Jouvion [France] ; J. Bardon [France] ; C. Crochemore [France] ; P. Serrani [France] ; P. P. Lecci [France] ; M. Latil [France] ; B. Matot [France] ; P. G. Carlier [France] ; N. Latronico [Italie] ; C. Huchet [France] ; A. Lafoux [France] ; T. Sharshar [France] ; M. Ricchetti [France] ; F. Chrétien [France] | Sepsis induces long-term metabolic and mitochondrial muscle stem cell dysfunction amenable by mesenchymal stem cell therapy |
000751 |
Athanase Benetos [France] ; Patrick Rossignol [France] ; Antonio Cherubini [Italie] ; Laure Joly [France] ; Tomasz Grodzicki [Pologne] ; Chakravarthi Rajkumar [Royaume-Uni] ; Timo E. Strandberg [Finlande] ; Mirko Petrovic [Belgique] | Polypharmacy in the Aging Patient: Management of Hypertension in Octogenarians. |
000763 |
P. Campus [Italie] ; V. Colelli [Italie] ; C. Orsini [Italie] ; D. Sarra [Italie] ; S. Cabib [Italie] | Evidence for the involvement of extinction-associated inhibitory learning in the forced swimming test. |
000779 |
Stefano Coiro [Italie, France] ; Patrick Rossignol [France] ; Giuseppe Ambrosio [Italie] ; Erberto Carluccio [Italie] ; Gianfranco Alunni [Italie] ; Adriano Murrone [Italie] ; Isabella Tritto [Italie] ; Faiez Zannad [France] ; Nicolas Girerd [France] | Prognostic value of residual pulmonary congestion at discharge assessed by lung ultrasound imaging in heart failure |
000795 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Andrea Grosso [Italie] ; Elena Tànfani [Italie] | Operating room scheduling and rescheduling: a rolling horizon approach |
000819 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Antonio Capone [Italie] ; Luca G. Gianoli [Italie] ; Brunilde Sans [Canada] | On the energy cost of robustness and resiliency in IP networks |
000904 |
Enrico Franconi [Italie] ; Claire Gardent [France] ; Ximena Juarez-Castro [Italie] ; Laura Perez-Beltrachini [Italie] | Quelo Natural Language Interface: Generating queries and answer descriptions |
000978 |
Bernardetta Addis [France] ; Danilo Ardagna [Italie] ; Giuliana Carello [Italie] ; Antonio Capone [Italie] | Energy-aware joint management of networks and Cloud infrastructures |
000A52 |
Davide Rizzo [France] ; Jean-François Mari [France] ; Elisa Marraccini [Italie] ; El-Ghali Lazrak [France] | Agricultural landscape segmentation: a stochastic method to map heterogeneous variables |
000B01 |
Jose Antonio Martin [Espagne] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Ernesto Pimentel [Espagne] ; Mathieu Turuani [France] | On the Synthesis of Secure Services Composition |
000B86 |
Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne] | Universal Point Sets for Planar Graph Drawing with Circular Arcs |
000B98 |
Laura Perez-Beltrachini [France] ; Claire Gardent [France] ; Enrico Franconi [Italie] | Incremental Query Generatio |
000C18 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | On Asymmetric Unification and the Combination Problem in Disjoint Theories |
000C67 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Sara Mattia [Italie] | Energy-aware survivable network management with shared protection |
000C68 |
Andrea Grosso [Italie] ; Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Elena Tànfani [Italie] | A rolling horizon framework for the OR planning under uncertain surgery duration: deterministic versus robust approach |
000C81 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Antonio Capone [Italie] ; Luca G. Gianoli [Italie] ; Brunilde Sans [Canada] | Energy management through optimized routing and device powering for greener communication networks |
000C88 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Asymmetric Unification and the Combination Problem in Disjoint Theories |
000C99 |
Giuseppe Castagna [France] ; Kim Nguyen [France] ; Zhiwu Xu [France] ; Hyeonseung Im [France] ; Sergueï Lenglet [France] ; Luca Padovani [Italie] | Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation |
000D63 |
Dario Izzo ; Luís F. Sim Es [Pays-Bas] ; Chit Hong Yam [Hong Kong] ; Francesco Biscani ; David Di Lorenzo [Italie] ; Bernardetta Addis [France] ; Andrea Cassioli [France] | GTOC5: Results from the European Space Agency and University of Florence |
000D65 |
Giorgio Ottaviani [Italie] ; Pierre-Jean Spaenlehauer [France] ; Bernd Sturmfels [États-Unis] | Exact Solutions in Structured Low-Rank Approximation |
000E02 |
Sandra Colazingari [Italie] ; Maria Teresa Fiorenza [Italie] ; Gianfranco Carlomagno [Italie] ; Robert Najjar [Italie] ; Arturo Bevilacqua [Italie] | Improvement of mouse embryo quality by myo-inositol supplementation of IVF media |
000E05 |
V. Colelli [Italie] ; P. Campus [Italie] ; D. Conversi [Italie] ; C. Orsini [Italie] ; S. Cabib [Italie] | Either the dorsal hippocampus or the dorsolateral striatum is selectively involved in consolidation of forced swim-induced immobility depending on genetic background. |
000E06 |
P. Loria [Italie] ; G. Marchesini [Italie] ; F. Nascimbeni [Italie] ; S. Ballestri [Italie] ; M. Maurantonio [Italie] ; F. Carubbi [Italie] ; V. Ratziu [France] ; A. Lonardo [Italie] | Cardiovascular risk, lipidemic phenotype and steatosis. A comparative analysis of cirrhotic and non-cirrhotic liver disease due to varying etiology. |
000E07 |
Francesco Di Nocera [Italie] ; Sandra Colazingari [Italie] ; Antonio Trabalza [Italie] ; Luciana Mamazza [Italie] ; Arturo Bevilacqua [Italie] | Association of TPH2 and dopamine receptor gene polymorphisms with obsessive-compulsive symptoms and perfectionism in healthy subjects. |
000E35 |
B. Addis [France] ; A. Capone [Italie] ; G. Carello [Italie] ; L. G. Gianoli [Italie, Canada] ; B. Sanso [Canada] | On the energy cost of robustness and resiliency in IP networks |
000E43 |
Bernardetta Addis [France] ; Danilo Ardagna [Italie] ; Antonio Capone [Italie] ; Giuliana Carello [Italie] | Energy-aware joint management of networks and Cloud infrastructures |
000E44 |
V. Colelli [Italie] ; P. Campus [Italie] ; D. Conversi [Italie] ; C. Orsini [Italie] ; S. Cabib [Italie] | Either the dorsal hippocampus or the dorsolateral striatum is selectively involved in consolidation of forced swim-induced immobility depending on genetic background |
000E71 |
Maria De Marsico [Italie] ; Antoine Tabbone [France] ; Ana L. N. Fred [Portugal] | ICPRAM 2014 - Proceedings of the 3rd International Conference on Pattern Recognition Applications and Methods |
000E89 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Andrea Grosso [Italie] ; Elena Tànfani [Italie] | A rolling horizon framework for the operating rooms planning under uncertain surgery duration |
000E90 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Elena Tànfani [Italie] | A robust optimization approach for the Advanced Scheduling Problem with uncertain surgery duration in Operating Room Planning - an extended analysis |
000F04 |
Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [États-Unis] ; Marco Matassoni [Italie] | The Second 'CHiME' Speech Separation and Recognition Challenge: An overview of challenge systems and outcomes |
000F18 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Antonio Capone [Italie] ; Luca Gianoli [Italie] ; Brunilde Sans [Canada] | Robust Energy Management for Green and Survivable IP Networks |
001073 |
Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne] | Universal Point Sets for Planar Graph Drawings with Circular Arcs |
001141 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination of Unification Algorithms |
001199 |
Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [États-Unis] ; Marco Matassoni [Italie] | Overview of the 2nd 'CHiME' Speech Separation and Recognition Challenge |
001214 |
Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [Italie] ; Marco Matassoni [Italie] | The second 'CHiME' Speech Separation and Recognition Challenge: Datasets, tasks and baselines |
001238 |
Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Elena Tànfani [Italie] | A Robust Optimization Approach for the Operating Room Planning Problem with Uncertain Surgery Duration |
001359 |
Vida Dujmovi [Canada] ; Will Evans [Canada] ; Sylvain Lazard [France] ; William Lenhart [États-Unis] ; Giuseppe Liotta [Italie] ; David Rappaport [Canada] ; Steve Wismath [Canada] | On Point-sets that Support Planar Graphs |
001399 |
Paola Loria [Italie] ; Amedeo Lonardo [Italie] ; Frank Anania [États-Unis] | Liver and diabetes. A vicious circle |
001406 |
Guido Ruggero Loria [Italie] ; Robin A J. Nicholas | Contagious agalactia: the shepherd's nightmare. |
001450 |
Clara Bertolissi [France, Italie] ; Silvio Ranise [Italie] | Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows |
001463 |
Meherun Nesa Lucky [Italie] ; Christina Tziviskou [Italie] ; Flavio De Paoli [Italie] | Towards RESTful Communications in Self-managing Pervasive Systems |
001468 |
Weishan Zhang [République populaire de Chine] ; Klaus Marius Hansen [Danemark] ; Paolo Bellavista [Italie] | The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012) |
001491 |
Mariele Gatto [Italie] ; Luca Iaccarino [Italie] ; Anna Ghirardello [Italie] ; Nicola Bassi [Italie] ; Patrizia Pontisso [Italie] ; Leonardo Punzi [Italie] ; Yehuda Shoenfeld [Israël] ; Andrea Doria [Italie] | Serpins, Immunity and Autoimmunity: Old Molecules, New Functions |
001503 |
Feng-Lin Li [Italie, République populaire de Chine] | Requirements-Driven Software Service Evolution |
001545 |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
001578 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination |
001583 |
Alberto Dennunzio [Italie] ; Nazim Fatès [France] ; Enrico Formenti [France] | Foreword: asynchronous cellular automata and applications |
001605 |
Francesco Alberti [Suisse] ; Silvio Ghilardi [Italie] ; Natasha Sharygina [Suisse] | Definability of Accelerated Relations in a Theory of Arrays and Its Applications |
001630 |
Nick Bezhanishvili [Pays-Bas] ; Silvio Ghilardi [Italie] | Bounded Proofs and Step Frames |
001640 |
José Rui Figueira [Portugal] ; Salvatore Greco [Italie] ; Bernard Roy [France] ; Roman Słowi Ski [Pologne] | An Overview of ELECTRE Methods and their Recent Extensions |
001653 |
Mauro Ferrari [Italie] ; Camillo Fiorentini [Italie] ; Guido Fiorino [Italie] | A Terminating Evaluation-Driven Variant of G3i |
001654 |
Davide Bresolin [Italie] ; Dario Della Monica [Islande] ; Angelo Montanari [Italie] ; Guido Sciavicco [Espagne] | A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation |
001659 |
Weishan Zhang [République populaire de Chine] ; Klaus Marius Hansen [Danemark] ; Paolo Bellavista [Italie] | A Research Roadmap for Context-Awareness-Based Self-managed Systems |
001710 |
Giuseppe Patane [Italie] | Multi-resolutive sparse approximations of d-dimensional data |
001724 |
Guido Governatori [Australie] ; Francesco Olivieri [Australie, Italie] ; Antonino Rotolo [Italie] ; Simone Scannapieco [Australie, Italie] | Computing Strong and Weak Permissions in Defeasible Logic |
001732 |
D. Battaglino [Italie] ; A. Frosini [Italie] ; S. Rinaldi [Italie] | A decomposition theorem for homogeneous sets with respect to diamond probes |
001759 |
Claudio Carpineto [Italie] ; Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] | FCAIR 2012 Formal Concept Analysis Meets Information Retrieval Workshop co-located with the 35th European Conference on Information Retrieval (ECIR 2013) March 24, 2013, Moscow, Russia |
001A62 |
Alain Giorgetti [France] ; Valerio Senni [Italie] | Specification and Validation of Algorithms Generating Planar Lehman Words |
001B43 |
David Bommes [France] ; Lévy Bruno [France] ; Nico Pietroni [Italie] ; Enrico Puppo [Italie] ; Claudio Silva [États-Unis] ; Marco Tarini [Italie] ; Denis Zorin [États-Unis] | State of the Art in Quad Meshing |
001B82 |
Manzalini Antonio [Italie] ; Rémi Badonnel [France] ; Festor Olivier [France] | Synthesis of Use Case Requirements R2 (Deliverable 4.6, Univerself) |
001B97 |
Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie] | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures |
001C52 |
Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Chili] | Statistical properties of dynamical systems - simulation and abstract computation. |
001C98 |
Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie] | An Implicit Characterization of PSPACE |
001D11 |
A. Casini [Italie] ; R. Vaccaro [Italie] ; L. D'Este [Italie] ; Y. Sakaue [Japon] ; J. P. Bellier [Japon] ; H. Kimura [Japon] ; T. G. Renda [Italie] | Immunolocalization of choline acetyltransferase of common type in the central brain mass of Octopus vulgaris |
001D20 |
Erika Luciano [Italie] | Peano and His School Between Leibniz and Couturat: The Influence in Mathematics and in International Language |
001D68 |
Paolo Frassi [Italie] | Des définitions pas comme les autres : les définitions d'adjectifs |
001D82 |
Francis Schneider [France] ; Charlotte Bach [France] ; Hélène Chung [France] ; Luca Crippa [Italie] ; Thomas Lavaux [France] ; Pierre-Edouard Bollaert [France] ; Michel Wolff [France] ; Angelo Corti [Italie] ; Anne Launoy [France] ; Xavier Delabranche [France] ; Thierry Lavigne [France] ; Nicolas Meyer [France] ; Patrick Garnero [France] ; Marie-Hélène Metz-Boutigue [France] | Vasostatin-I, a chromogranin A-derived peptide, in non-selected critically ill patients: distribution, kinetics, and prognostic significance |
001E08 |
Vida Dujmovic [Canada] ; William Evans [Canada] ; Sylvain Lazard [France] ; William Lenhart [États-Unis] ; Giuseppe Liotta [Italie] ; David Rappaport [Canada] ; Stephen Wismath [Canada] | On Point-Sets That Support Planar Graphs |
001E67 |
Leonardo Vanneschi [Italie, Portugal] ; Giancarlo Mauri [Italie] | A study on learning robustness using asynchronous 1D cellular automata rules |
001E93 |
Alessandro Furlan [France] ; Francesco Colombo [Italie] ; Andrea Kover [Espagne] ; Nathalie Issaly [France] ; Cristina Tintori [Italie] ; Lucilla Angeli [Italie] ; Vincent Leroux [France, Norvège] ; Sebastien Letard [France] ; Mercedes Amat [Espagne] ; Yasmine Asses [France] ; Bernard Maigret [France] ; Patrice Dubreuil [France] ; Maurizio Botta [Italie] ; Rosanna Dono [France] ; Joan Bosch [Espagne] ; Oreste Piccolo [Italie] ; Daniele Passarella [Italie] ; Flavio Maina [France] | Identification of new aminoacid amides containing the imidazo[2,1-b] benzothiazol-2-ylphenyl moiety as inhibitors of tumorigenesis by oncogenic Met signaling |
002008 |
Dobrina Boltcheva [France] ; David Canino [Italie] ; Sara Merino Aceituno [France] ; Jean-Claude Léon [France] ; Leila De Floriani [Italie] ; Franck Hétroy [France] | An iterative algorithm for homology computation on simplicial shapes |
002032 |
Fabio Massacci [Italie] ; Fabrice Bouquet [France] ; Elizabeta Fourneret [France] ; Jan Jurjens [Allemagne] ; Mass Lund [Norvège] ; Sébastien Madelénat [France] ; Jantobias Muehlberg [Belgique] ; Federica Paci [Italie] ; Stéphane Paul [France] ; Frank Piessens [Belgique] ; Bjornar Solhaug [Norvège] ; Sven Wenzel [Allemagne] | Orchestrating Security and System Engineering for Evolving Systems |
002102 |
Vida Dujmovi [Canada] ; Will Evans [Canada] ; Sylvain Lazard [France] ; William Lenhart [États-Unis] ; Giuseppe Liotta [Italie] ; David Rappaport [Canada] ; Steve Wismath [Canada] | On Point-sets that Support Planar Graphs |
002177 |
Damien Chablat [France] ; Erika Ottaviano [Italie] ; Guillaume Moroz [France] | A comparative study of 4-cable planar manipulators based on cylindrical algebraic decomposition |
002485 |
Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] | Dynamics and abstract computability: computing invariant measures |
002621 |
Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Sebastian Alexander Mödersheim [Danemark] ; Serena Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie] | Towards Formal Validation of Trust and Security in the Internet of Services |
002633 |
Lidija Omi [Serbie] ; Mohammed Mostefa Mesmoudi [Italie] ; Leila De Floriani [Italie] | Smale-Like Decomposition and Forman Theory for Discrete Scalar Fields |
002678 |
Silvia Ghilezan [Serbie] ; Jelena Iveti [Serbie] ; Pierre Lescanne [France] ; Silvia Likavec [Italie] | Intersection Types for the Resource Control Lambda Calculi |
002682 |
Fabio Fioravanti [Italie] ; Alberto Pettorossi [Italie] ; Maurizio Proietti [Italie] ; Valerio Senni [Italie, France] | Improving Reachability Analysis of Infinite State Systems by Specialization |
002709 |
Nikolay Mehandjiev [Royaume-Uni] ; Antonella De Angeli [Royaume-Uni, Italie] ; Usman Wajid [Royaume-Uni] ; Abdallah Namoun [Royaume-Uni] ; Alberto Battocchi [Italie] | Empowering End-Users to Develop Service-Based Applications |
002744 |
Sara Brunetti [Italie] ; Paolo Dulio [Italie] ; Carla Peri [Italie] | Characterization of { − 1,0, + 1} Valued Functions in Discrete Tomography under Sets of Four Directions |
002792 |
Steffen Van Bakel [Royaume-Uni] ; Franco Barbanera [Italie] ; Ugo De Iguoro [Italie] | A Filter Model for the λμ -Calculus |
002806 |
Gaetano Mangiapia [Italie] ; Gerardino D'Errico [Italie] ; Fabio Capuano [Italie] ; Ornella Ortona [Italie] ; Richard K. Heenan [Royaume-Uni] ; Luigi Paduano [Italie] ; Roberto Sartorio [Italie] | On the interpretation of transport properties of sodium cholate and sodium deoxycholate in binary and ternary aqueous mixtures |
002815 |
Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie] | Automatic decidability and combinability |
002838 |
Stijn Heymans [États-Unis] ; Joerg Hoffmann [France] ; Annapaola Marconi [Italie] ; Joshua Phlipps [États-Unis] ; Ingo Weber [Australie] | Semantic Web Services Fundamentals |
002C26 |
Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] | Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems |
002C41 |
José Figueira [Portugal] ; Salvatore Greco [Italie] ; Bernard Roy [France] ; Roman Slowinski [Pologne] | Electre Methods: Main Features and Recent Developments |
002C89 |
I. Lombardo [Italie] ; C. Agodi [Italie] ; R. Alba [Italie] ; F. Amorini [Italie] ; A. Anzalone [Italie] ; L. Auditore ; I. Berceanu ; G. Cardella [Italie] ; S. Cavallaro [Italie] ; M. B. Chatterjee ; E. Defilippo [Italie] ; A. Dipietro [Italie] ; P. Figuera [Italie] ; E. Geraci [Italie] ; G. Giuliani [Italie] ; L. Grassi [Italie] ; A. Grzeszczuki ; J. Han [Italie] ; E. La Guidara [Italie] ; G. Lanzalone [Italie] ; N. Le Neindre [France] ; D. Loria ; C. Maiolino [Italie] ; A. Pagano [Italie] ; M. Papa [Italie] ; S. Pirrone [Italie] ; G. Politi [Italie] ; A. Pop ; F. Porto [Italie] ; F. Rizzo [Italie] ; P. Russotto [Italie] ; D. Santonocito [Italie] ; A. Trifiro ; G. Verde [Italie] ; M. Vigilante | Light clusters emission in nuclear reactions at 25 MeV/nucleon with different N/Z of entrance channels |
002D98 |
Cristiana Larizza [Italie] ; Matteo Gabetta [Italie] ; Lina Maria Rojas Barahona [France] ; Giusseppe Milani [Italie] ; Elena Guaschino [France] ; Grazia Sances [France] ; Cristina Cereda [France] ; Riccardo Bellazzi [Italie] | Extraction of Clinical Information from Clinical Reports: an Application to the Study of Medication Overuse Headaches in Italy. |
002E32 |
Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
002E97 |
Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] | Effective symbolic dynamics, random points, statistical behavior, complexity and entropy |
003054 |
Stefano Marrone [Italie] ; Camilla Papa [Italie] ; Valeria Vittorini [Italie] | Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems |
003068 |
Francisco J. Pino [Colombie, Espagne] ; Maria Teresa Baldassarre [Italie] ; Mario Piattini [Espagne] ; Giuseppe Visaggio [Italie] | Harmonizing maturity levels from CMMI‐DEV and ISO/IEC 15504 |
003074 |
Marco Gaboardi [Italie] ; Romain Péchoux [France] | Global and Local Space Properties of Stream Programs |
003138 |
Patrizia Asirelli [Italie] ; Maurice H. Ter Beek [Italie] ; Alessandro Fantechi [Italie] ; Stefania Gnesi [Italie] | A Logical Framework to Deal with Variability |
003142 |
Daniele Zucchelli [Italie] ; Enrica Nicolini [France] | A Decidability Result for the Model Checking of Infinite-State Systems |
003409 |
Marco Gaboardi [Italie] ; Romain Péchoux [France] | Upper Bounds on Stream I/O Using Semantic Interpretations |
003432 |
Silvana Quaglini [Italie] ; Toni Giorgino [Italie] ; Lina Maria Rojas Barahona [France] ; Ezio Caffi [Italie] ; Mauro Devito [Italie] ; Alessandra Persico [France] ; Anna Cavallini [France] | An Automated Voice Response System for Anticoagulant Therapy Management |
003477 |
Lina Maria Rojas Barahona [France] ; Silvana Quaglini [Italie] ; Mario Stefanelli [Italie] | HomeNL: Homecare Assistance in Natural Language. An Intelligent Conversational Agent for Hypertensive Patients Management. |
003626 |
Gianluca Cena [Italie] ; Françoise Simonot-Lion [France] | Guest Editorial Special Section on Communication in Automation |
003677 |
Boualem Benatallah [Australie] ; Fabio Casati [Italie] ; Dimitrios Georgakopoulos [Australie] ; Claude Godart [France] | WISE 2007 Extended Best Papers |
003759 |
Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie] | New results on rewrite-based satisfiability procedures |
003785 |
Lina Maria Rojas Barahona [France] ; Toni Giorgino [Italie] | Adaptable dialogue architecture and runtime engine (AdaRTE): A framework for rapid prototyping of health dialog systems |
003796 |
L. Dal Maso [Italie] ; J. Polesel [Italie] ; D. Serraino [Italie] ; M. Lise [Italie] ; P. Piselli [Italie] ; F. Falcini [Italie] ; A. Russo [Italie] ; T. Intrieri [Italie] ; M. Vercelli [Italie] ; P. Zambon [Italie] ; G. Tagliabue [Italie] ; R. Zanetti [Italie] ; M. Federico [Italie] ; R M Limina [Italie] ; L. Mangone [Italie] ; V. De Lisi [Italie] ; F. Stracci [Italie] ; S. Ferretti ; S. Piffer [Italie] ; M. Budroni [Italie] ; A. Donato [Italie] ; A. Giacomin [Italie] ; F. Bellù [Italie] ; M. Fusco [Italie] ; A. Madeddu [Italie] ; S. Vitarelli [Italie] ; R. Tessandori [Italie] ; R. Tumino [Italie] ; B. Suligoi [Italie] ; S. Franceschi [France] | Pattern of cancer risk in persons with AIDS in Italy in the HAART era |
003801 |
Paola Loria [Italie] ; Lucia Carulli ; Marco Bertolotti ; Amedeo Lonardo | Endocrine and liver interaction: the role of endocrine pathways in NASH. |
003810 |
Giacomo Ghini [Italie] ; Luisa Lascialfari [Italie] ; Claudia Vinattieri [Italie] ; Stefano Cicchi [Italie] ; Alberto Brandi [Italie] ; Debora Berti [Italie] ; Francesca Betti [Italie] ; Piero Baglioni [Italie] ; Matteo Mannini [Italie] | Towards a general organogelator: combining a versatile scaffold and an efficient linking process |
003875 |
Hazel Everett [France] ; Sylvain Lazard [France] ; Giuseppe Liotta [Italie] ; Stephen Wismath [Canada] | Universal Sets of n Points for One-bend Drawings of Planar Graphs with n Vertices |
003899 |
David Déharbe [Brésil] ; Silvio Ranise [Italie, France] | Satisfiability solving for software verification |
003915 |
Panos M. Pardalos [États-Unis] ; Vera Tomaino [États-Unis, Italie] ; Petros Xanthopoulos [États-Unis] | Optimization and data mining in medicine |
003946 |
Serena Ferraresso [Italie] ; Heiner Kuhl [Allemagne] ; Massimo Milan [Italie] ; David W. Ritchie [France] ; Christopher J. Secombes [Royaume-Uni] ; Richard Reinhardt [Allemagne] ; Luca Bargelloni [Italie] | Identification and characterisation of a novel immune-type receptor (NITR) gene cluster in the European sea bass, Dicentrarchus labrax , reveals recurrent gene expansion and diversification by positive selection |
003990 |
Antonio Carrieri [Italie] ; Violeta Pérez-Nueno [Espagne] ; Alessandra Fano ; Carlo Pistone ; David Ritchie [France] ; Jordi Teixid [Espagne] | Biological Profiling of Anti‐HIV Agents and Insight into CCR5 Antagonist Binding Using in silico Techniques |
003A23 |
A. Asperti [Italie] ; W. Ricciotti [Italie] ; C. Sacerdoti Coen [Italie] ; E. Tassi [Italie] | A compact kernel for the calculus of inductive constructions |
003B69 |
Mario Sabatelli [Italie] ; Fabrizio Eusebi [Italie] ; Ammar Al-Chalabi [Royaume-Uni] ; Amelia Conte [Italie] ; Francesca Madia [Italie] ; Marco Luigetti [Italie] ; Irene Mancuso [Italie] ; Cristina Limatola [Italie] ; Flavia Trettel [Italie] ; Fabrizia Sobrero [Italie] ; Silvia Di Angelantonio [Italie] ; Francesca Grassi [Italie] ; Amalia Di Castro [Italie] ; Claudia Moriconi [Italie] ; Sergio Fucile [Italie] ; Serena Lattante [Italie] ; Giuseppe Marangi [Italie] ; Marina Murdolo [Italie] ; Daniela Orteschi [Italie] ; Alessandra Del Grande [Italie] ; Pietro Tonali [Italie] ; Giovanni Neri [Italie] ; Marcella Zollino [Italie] | Rare missense variants of neuronal nicotinic acetylcholine receptor altering receptor function are associated with sporadic amyotrophic lateral sclerosis |
003B81 |
Michele Celentano [Italie] ; Daniele Caprioli [Italie] ; Pasqua Di Pasquale [Italie] ; Veronica Cardill [Italie] ; Paolo Nencini [Italie] ; Silvana Gaetani [Italie] ; Aldo Badiani [Italie] | Drug context differently regulates cocaine versus heroin self-administration and cocaine-versus heroin-induced Fos mRNA expression in the rat |
003E32 |
David Bremner [Canada] ; Jonathan Lenchner [États-Unis] ; Giuseppe Liotta [Italie] ; Christophe Paul [France] ; Marc Pouget [France] ; Svetlana Stolpner [Canada] ; Stephen Wismath [États-Unis] | A Note on α-Drawable k-Trees |
004020 |
Mathieu Loiseau [France] ; Myriam Abouzaïd [France] ; Laurence Buson [France] ; Bannour Rachid [France] ; Florinela Comanescu [France] ; Darline Cothière-Robert [France] ; Tatiana El-Khoury [France] ; Antoine Gautier [France] ; Rose-Marie Gerbe [France] ; Mathilde Gonçalves [Portugal] ; Florencia Miranda [Portugal] ; Vannina Goossens [France] ; Cécile Lux [France] ; Iuliana-Anca Mateiu [Roumanie] ; Séverine Morange [France] ; Stéphane Mortreux [France] ; Hiroko Noda [France] ; Sabrina Rasom [Italie] ; Aude Rebotier [France] ; Darine Saïdi [France] ; Carmen Scarlat [France] ; Jennifer Sullivan [Irlande (pays)] ; Christian Surcouf [Suisse] ; Inka Wissner [Allemagne] ; Caroline Cance [France] ; Émilie Cousin [France] ; Hélène Delage [France] ; Anaïg Delanoë [France] ; Gaëlle Delepaut [France] ; Céline Dugua [France] ; Juliette Elie-Deschamps [France] ; Angélique Laurent [France] ; Pascale Leclercq [France] ; Silvia Nieva [Espagne] ; Katérina Palasis-Jourdan [France] ; Anita Thomas [Suède] ; Luc Biichlé [France] ; Anna Ghimenton [France] ; Jeanne Gonac'H [France] ; Aurélie Nardy [France] ; Nathaël Martin [France] ; Pascale Paulin [France] ; Lerato Caroline Pooe [France] ; Séverine Rapanoël [France] ; Sofia Stratilaki [France] ; Maria Zerva [France] ; Dominique Anctil [Canada] ; Évelyne Berger [Suisse] ; Jocelyne Cussac Pomel [France] ; Geneviève Garcia Bourgade [France] ; Juliette Delahaie [France] ; Ali Djaroun [France] ; Bernadette Kervyn [Belgique] ; Sophie Anquetil [France] ; Magdalena Augustyn [France] ; Sabrina Ben Hamou [France] ; Gwendoline Bloquet [France] ; Fanny Rinck [France] ; Cécile Frérot [France] ; Amélie Josselin-Leray [France] ; Anne-Laure Jousse [Canada] ; Bárbara Razola Mayor [France] ; Fabienne Venant [France] ; Antoine Widlöcher [France] ; Frédérik Bilhaut [France] | Autour des langues et du langage |
004127 |
Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie] | A Logical Account of PSPACE |
004148 |
Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie] | Soft Linear Logic and Polynomial Complexity Classes |
004199 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Daniele Zucchelli [Italie] | A comprehensive combination framework |
004208 |
Valentina Loria [Italie] ; Ilaria Dato [Italie] ; Francesca Graziani [Italie] ; Luigi M. Biasucci [Italie] | Myeloperoxidase: A New Biomarker of Inflammation in Ischemic Heart Disease and Acute Coronary Syndromes |
004211 |
Paola Loria [Italie] ; Amedeo Lonardo ; Giovanni Targher | Is liver fat detrimental to vessels?: intersections in the pathogenesis of NAFLD and atherosclerosis. |
004285 |
Hazel Everett [France] ; Sylvain Lazard [France] ; Giuseppe Liotta [Italie] ; Stephen Wismath [Canada] | Universal Sets of n Points for 1-Bend Drawings of Planar Graphs with n Vertices |
004290 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie] | Towards SMT Model Checking of Array-Based Systems |
004330 |
Mark-Jan Nederhof [Royaume-Uni] ; Giorgio Satta [Italie] | Probabilistic Parsing |
004465 |
Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France] | A Logical Account of PSPACE |
004609 |
Daniel De Carvalho [France] ; Michele Pagani [France] ; Lorenzo Tortora De Falco [Italie] | A semantic measure of the execution time in Linear Logic |
004862 |
Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | Towards a sharing strategy for the graph rewriting calculus |
004951 |
Nacer Boudjlida [France] ; Hervé Panetto [France] ; Salah Baïna [France] ; Claudia Diamantini [Italie] ; John Krogstie [Norvège] ; Yun Lin [Norvège] ; Joao Sarraipa [Portugal] ; Nabila Zouggar [France] ; Axel Hahn [Allemagne] ; Marco Delgado [Espagne] ; Miguel-Angel Abian [Espagne] ; Maria-José Nunez [Espagne] | DTG4.2: Experimental Semantic Enrichment of Enterprise Models for Interoperability and its Practical Impact |
004A76 |
Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | A rewriting calculus for cyclic higher-order term graphs |
004A85 |
P. Loria [Italie] ; A. Lonardo ; S. Bellentani ; C P Day ; G. Marchesini ; N. Carulli | Non-alcoholic fatty liver disease (NAFLD) and cardiovascular disease: an open question. |
004B62 |
Jens Gustedt [France] ; Stéphane Vialle [France] ; Amelia De Vivo [Italie] | The parXXL Environment: Scalable Fine Grained Development for Large Coarse Grained Platforms |
004C19 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Noetherianity and Combination Problems |
004C79 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Decision procedures for extensions of the theory of arrays |
004C91 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [France] ; Silvio Ranise [France] ; Daniele Zucchelli [Italie, France] | Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems |
005090 |
Jens Gustedt [France] ; Stéphane Vialle [France] ; Amelia De Vivo [Italie] | parXXL: A Fine Grained Development Environment on Coarse Grained Architectures |
005119 |
A. Potamianos [Grèce] ; Ghazi Bouselmi [France] ; D. Dimitriadis [Grèce] ; Dominique Fohr [France] ; R. Gemello [Italie] ; Irina Illina [France] ; F. Mana [Italie] ; P. Maragos [Grèce] ; M. Matassoni [Italie] ; V. Pitsikalis [Grèce] ; J. Ramirez [Espagne] ; E. Sanchez-Soto [Grèce] ; J. Segura [Espagne] ; P. Svaizer [Italie] | Towards Speaker and Environmental Robustness in ASR: The HIWIRE Project |
005137 |
M. Benzeguiba ; R. De Mori [Canada] ; O. Deroo [Belgique] ; Simon Dupont [France] ; T. Erbes [France] ; D. Jouvet [France] ; L. Fissore [Italie] ; P. Laface [Italie] ; A. Mertins [Allemagne] ; C. Ris [Belgique] ; R. Rose ; V. Tyagi [France] ; C. Wellekens [France] | Automatic Speech Recognition and Intrinsic Speech Variation |
005143 |
Yun-Chuang Chiao [France] ; Olivier Kraif [France] ; Dominique Laurent [France] ; Thi Minh Huyen Nguyen [France] ; Nasredine Semmar [France] ; François Stuck [France] ; Jean Véronis [France] ; Wajdi Zaghouani [Italie] | Evaluation of multilingual text alignment systems: the ARCADE II project |
005370 |
Enrico Franconi [Italie] | The Knowledge Web Network of Excellence |
005389 |
Andrea Cerri [Italie] ; Daniela Giorgi [Italie] ; Pablo Musé [France] ; Frédéric Sur [France] ; Federico Tomassini [Italie] | Shape Recognition Via an a Contrario Model for Size Functions |
005395 |
M. Alpuente [Espagne] ; D. Ballis [Italie] ; M. Falaschi [Italie] | Rule-based verification of Web sites |
005417 |
Devis Bianchini [Italie] ; Valeria De Antonellis [Italie] | Ontology-based Semantic Interoperability Tools for Service Dynamic Discovery |
005418 |
Silvana Castano [Italie] ; Alfio Ferrara [Italie] ; Stefano Montanelli [Italie] | Ontology-based Interoperability Services for Semantic Collaboration in Open Networked Systems |
005434 |
C. Ardito [Italie] ; M. F. Costabile [Italie] ; A. De Angeli [Royaume-Uni] ; F. Pittarello [Italie] | Navigation help in 3D worlds: some empirical evidences on use of sound |
005442 |
Giorgio Bruno [Italie] | Modeling and Using Business Collaborations |
005445 |
Paola Velardi [Italie] ; Raúl Poler [Espagne] ; José V. Tomás [Espagne] | Methodology for the Definition of a Glossary in a Collaborative Research Project and its Application to a European Network of Excellence |
005502 |
Sergio Terzi [Italie] ; Jacopo Cassina [Italie] ; Hervé Panetto [France] | Development of a Metamodel to Foster Interoperability along the Product Lifecycle Traceability |
005505 |
Diego Milano [Italie] ; Monica Scannapieco [Italie] ; Tiziana Catarci [Italie] | Design and Implementation of a Peer-to-Peer Data Quality Broker |
005507 |
David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France] | Decision Procedures for the Formal Analysis of Software |
005509 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies |
005510 |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures |
005523 |
M. Morra [Italie] ; C. Cassinelli [Italie] ; G. Cascardo [Italie] ; L. Mazzucco [Italie] ; P. Borzini [Italie] ; M. Fini [Italie] ; G. Giavaresi [Italie] ; R. Giardino [Italie] | Collagen I‐coated titanium surfaces: Mesenchymal cell adhesion and in vivo evaluation in trabecular bone implants |
005538 |
Claudia Diamantini [Italie] ; Nacer Boudjlida [France] | About Semantic Enrichment of Strategic Data Models as Part of Enterprise Models |
005607 |
Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient theory combination via boolean search |
005613 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies |
005614 |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
005627 |
Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis] | A new combination procedure for the word problem that generalizes fusion decidability results in modal logics |
005631 |
Gil Francopoulo [France] ; Monte George [États-Unis] ; Nicoletta Calzolari [Italie] ; Monica Monachini [Italie] ; Nuria Bel [Espagne] ; Mandy Pet [États-Unis] ; Claudia Soria [Italie] | LMF for multilingual, specialized lexicons |
005721 |
Gil Francopoulo [France] ; Thierry Declerck [Allemagne] ; Monica Monachini [Italie] ; Laurent Romary [France] | The relevance of standards for research infrastructures |
005750 |
Gil Francopoulo [France] ; Nuria Bel [Espagne] ; Monte George [États-Unis] ; Nicoletta Calzolari [Italie] ; Monica Monachini [Italie] ; Mandy Pet [États-Unis] ; Claudia Soria [Italie] | Lexical markup framework (LMF) for NLP multilingual resources |
005751 |
Gil Francopoulo [France] ; Monte George [États-Unis] ; Nicoletta Calzolari [Italie] ; Monica Monachini [Italie] ; Nuria Bel [Espagne] ; Mandy Pet [États-Unis] ; Claudia Soria [Italie] | Lexical Markup Framework (LMF) |
005752 |
Patrick Blackburn [France] ; Johan Bos [Italie] ; Kristina Striegnitz [États-Unis] | Learn Prolog Now! |
005827 |
Luigi Liquori [France] ; Furio Honsell [Italie] ; Marina Lenisa [Italie] | A Framework for Defining Logical Frameworks |
005907 |
Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Francesco Zampognaro [Italie] | Adaptable OPC-XML contracts taking into account network traffic |
005979 |
Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | The AVISPA Tool for the automated validation of internet security protocols and applications |
005C52 |
Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | A rewriting calculus for cyclic higher-order term graphs |
006098 |
Paola Loria [Italie] ; Amedeo Lonardo ; Nicola Carulli | Should nonalcoholic fatty liver disease be renamed? |
006099 |
P. Loria [Italie] ; A. Lonardo ; L. Carulli ; A M Verrone ; M. Ricchi ; S. Lombardini ; A. Rudilosso ; S. Ballestri ; N. Carulli | Review article: the metabolic syndrome and non-alcoholic fatty liver disease. |
006104 |
Paola Loria [Italie] ; Amedeo Lonardo ; Silvia Lombardini ; Lucia Carulli ; Annamaria Verrone ; Dorval Ganazzi ; Antonia Rudilosso ; Roberto D'Amico ; Marco Bertolotti ; Nicola Carulli | Gallstone disease in non-alcoholic fatty liver: prevalence and associated factors. |
006182 |
A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France] | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications |
006203 |
Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [France] | R ewrite and D ecision Procedure L aboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation |
006214 |
P. Labéguerie [France] ; F. Pascale [France] ; M. Mérawa [France] ; C. Zicovich-Wilson [Mexique] ; N. Makhouki [France] ; R. Dovesi [Italie] | Phonon vibrational frequencies and elastic propertiesof solid SrFCl. An ab initio study |
006222 |
Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie] | On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal |
006263 |
Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient Satisfiability Modulo Theories via Delayed Theory Combination |
006275 |
Shigemasa Takai [Japon] ; Toshimitsu Ushio [Japon] ; Eric Fabre [France] ; Albert Benveniste [France] ; Stefan Haar [France] ; Claude Jard [France] ; Alessandro Giua [Italie] ; Daniele Corona [Italie] ; Carla Seatzu [Italie] | Contributing Authors |
006302 |
Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse] | Automated Reasoning for Security Protocol Analysis |
006318 |
Domenico Cantone [Italie] ; Calogero G. Zarba [France] ; Rosa Ruggeri Cannata [Belgique] | A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership |
006328 |
Calogero G. Zarba [France] ; Domenico Cantone [Italie] ; Jacob T. Schwartz [États-Unis] | A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case |
006536 |
Tim Chown [Royaume-Uni] ; Mark Thompson [Royaume-Uni] ; Alan Ford [Royaume-Uni] ; Stig Venaas [Royaume-Uni] ; Christian Schild [Italie] ; Christian Strauf [Italie] ; Thorsten Kuefer [Italie] ; Frédéric Beck [France] ; Olivier Festor [France] ; Bartek Gajda [Pologne] | D3.6.1: Cookbook for IPv6 Renumbering in SOHO and Backbone Networks |
006600 |
Clara Bertolissi [France] ; Paolo Baldan [Italie] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | A rewriting calculus for cyclic higher-order term graphs |
006657 |
Hervé Panetto [France] ; Giuseppe Berio [Italie] ; Khalid Benali [France] ; Nacer Boudjlida [France] ; Michaël Petit [Belgique] | A Unified Enterprise Modelling Language for enhanced interoperability of Enterprise Models |
006B63 |
Mitsuhiro Kato [États-Unis, Japon] ; Soma Das [États-Unis] ; Kristin Petras [États-Unis] ; Kunio Kitamura [Japon] ; Ken-Ichirou Morohashi [Japon] ; Diane N. Abuelo [États-Unis] ; Mason Barr [États-Unis] ; Dominique Bonneau [France] ; Angela F. Brady [Royaume-Uni] ; Nancy J. Carpenter [États-Unis] ; Karen L. Cipero [États-Unis] ; Francesco Frisone [Italie] ; Takayuki Fukuda [Japon] ; Renzo Guerrini [Italie] ; Eri Iida [Japon] ; Masayuki Itoh [Japon] ; Amy Feldman Lewanda [États-Unis] ; Yukiko Nanba [Japon] ; Akira Oka [Japon] ; Virginia K. Proud [États-Unis] ; Pascale Saugier-Veber [France] ; Susan L. Schelley [États-Unis] ; Angelo Selicorni [Italie] ; Rachel Shaner [États-Unis] ; Margherita Silengo [Italie] ; Fiona Stewart [Royaume-Uni] ; Noriyuki Sugiyama [Japon] ; Jun Toyama [Japon] ; Annick Toutain [France] ; Ana Lía Vargas [Argentine] ; Masako Yanazawa [Japon] ; Elaine H. Zackai [États-Unis] ; William B. Dobyns [États-Unis] | Mutations of ARX are associated with striking pleiotropy and consistent genotype–phenotype correlation |
006C04 |
Xavier Assfeld [France] ; Nicolas Ferré [France, Italie] ; Jean-Louis Rivail [France] | Electrostatic interactions in peptides. Polarisation effects due to an α-helix |
006C16 |
Agostino Dovier [Italie] ; Carla Piazza [Italie] ; Enrico Pontelli [États-Unis] | Disunification in ACI 1 Theories |
007121 |
Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Jacopo Mantovani [Italie] ; Sebastian Moedersheim [Suisse] ; Laurent Vigneron [France] | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
007884 |
Paola Loria [Italie] ; Amedeo Lonardo ; Francesca Leonardi ; Cristina Fontana ; Lucia Carulli ; Anna Maria Verrone ; Andrea Borsatti ; Marco Bertolotti ; Fabio Cassani ; Alberto Bagni ; Paolo Muratori ; Dorval Ganazzi ; Francesco B. Bianchi ; Nicola Carulli | Non-organ-specific autoantibodies in nonalcoholic fatty liver disease: prevalence and correlates. |
007997 |
Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Pierre Ganty [Italie] | SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis |
007A52 |
Alberto Ciaffaglione [Italie] ; Luigi Liquori [France] ; Marino Miculan [Italie] | Imperative Object-Based Calculi in Co-inductive Type Theories |
007A62 |
Giovanni Semeraro [Italie] ; Hans H. K. Andersen [Danemark] ; Verner Andersen [Danemark] ; Pasquale Lops [Italie] ; Fabio Abbattista [Italie] | Evaluation and Validation of a Conversational Agent Embodied in a Bookstore |
007A79 |
Barbara Leporini [Italie] ; Fabio Patern [Italie] | Criteria for Usability of Accessible Web Sites |
007A85 |
M. F. Costabile [Italie] ; D. Fogli [Italie] ; G. Fresta [Italie] ; P. Mussio [Italie] ; A. Piccinno [Italie] | Computer Environments for Improving End-User Accessibility |
007A88 |
G. Passarella [Italie] ; M. Vurro [Italie] ; V. D'Agostino [Italie] ; M. J. Barcelona [États-Unis] | Cokriging Optimization of Monitoring Network Configuration Based on Fuzzy and Non-Fuzzy Variogram Evaluation |
007B14 |
Paolo Bouquet [Italie] ; Bernardo Magnini [Italie] ; Luciano Serafini [Italie] ; Stefano Zanobini [Italie] | A SAT-Based Algorithm for Context Matching |
007B76 |
Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France] | A rewriting approach to satisfiability procedures |
008726 |
Annalisa Bossi [France, Italie] ; Riccardo Focardi [France, Italie] ; Carla Piazza [France, Italie] ; Sabina Rossi [France, Italie] | Transforming Processes to Check and Ensure Information Flow Security* |
008732 |
Jasjit S. Suri [États-Unis] ; David Chopp [États-Unis] ; Alessandro Sarti [Italie] ; Swamy Laxminarayan [États-Unis] | The Future of PDEs and Level Sets |
008734 |
Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Sebastian Mödersheim [Allemagne] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigan [Allemagne] ; Laurent Vigneron [France] | The AVISS Security Protocol Analysis Tool |
008831 |
Paolo Baldan [Italie] ; Andrea Bracciali [Italie] ; Roberto Bruni [Italie] | Bisimulation by Unification* |
008856 |
Mohammed Mostefa Mesmoudi [Italie] | A Simplified Recognition Algorithm of Digital Planes Pieces |
008864 |
Patricia M. Hill [Royaume-Uni] ; Fausto Spoto [Italie] | A Foundation of Escape Analysis* |
008923 |
Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
008937 |
Isabelle Astic [France] ; Tim Chown [Royaume-Uni] ; Jérôme Durand ; Robert Evans ; Fulvio Risso [Italie] ; Duncan Rogerson ; Bernard Tuy | 6Net IPv6 Network Management Cookbook |
008D25 |
Alessandro Armando [Italie] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France] | Incorporating Decision Procedures in Implicit Induction |
009163 |
M P Loria [Italie] ; P P Dambra ; L. D'Oronzio ; E. Nettis ; A. Pannofino ; E. Cavallo ; A. Ferrannini ; A. Tursi | Cyclosporin A in patients affected by chronic idiopathic urticaria: a therapeutic alternative. |
009256 |
Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France] | Uniform Derivation of Decision Procedures by Superposition |
009266 |
Alessandro Armando [Italie] ; Felice Peccia [Italie] ; Silvio Ranise [Italie, France] | The Phase Transition of the Linear Inequalities Problem |
009268 |
Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie] | The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics |
009273 |
Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [Italie, France] | System Description: RDL Rewrite and Decision Procedure Laboratory |
009287 |
Luigi Morino [Italie] ; Giovanni Bernardini [Italie] | Singularities in BIEs for the Laplace equation; Joukowski trailing-edge conjecture revisited |
009361 |
Paolo Bottoni [Italie] ; Bernd Meyer [Australie] ; Kim Marriott [Australie] ; Francesco Parisi Presicce [Italie] | Deductive Parsing of Visual Languages |
009388 |
Claudia Casadio [Italie] ; Joachim Lambek [Canada] | An Algebraic Analysis of Clitic Pronouns in Italian |
009642 |
Alessandro Armando [Italie] ; Michaël Rusinowitch [France] ; Sorin Stratulat [Italie] | Incorporating Decision Procedures in Implicit Induction |
009668 |
Anne Bouillard [Italie] ; Bruno Gaujal [France] | Coupling Time of a (Max,Plus) Matrix |
009D41 |
Patrick Viry [Italie] | Input/Output for ELAN |
009E19 |
Alessandro Armando [Italie] ; Silvio Ranise [Italie] | Termination of Constraint Contextual Rewriting |
009E35 |
Alessandro Armando [Italie, France] ; Claudio Castellini [Royaume-Uni] ; Enrico Giunchiglia [Italie] | SAT-Based Procedures for Temporal Reasoning |
009F15 |
Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; José Meseguer [États-Unis] ; Carolyn L. Talcott [États-Unis] | Composing and Controlling Search in Reasoning Theories Using Mappings |
009F18 |
Agostino Dovier [Italie] ; Carla Piazza [Italie] ; Alberto Policriti [Italie] | Comparing Expressiveness of Set Constructor Symbols |
009F83 |
L. P. Cordella [Italie] ; M. Vento [Italie] | Symbol recognition in documents : a collection of techniques? |
00A309 |
Viviana Bono [Italie] ; Michele Bugliesi [Italie] ; Mariangiola Dezani-Ciancaglini [Italie] ; Luigi Liquori [France] | A Subtyping for Extensible, Incomplete Objects |
00A821 |
G R Loria [Italie] ; S. Riili ; F. Vitale ; A. Greco ; O. Sparagano | Clinical and laboratory studies on theileriosis outbreaks in Sicily, Italy. |
00A860 |
G. Delzanno [Allemagne] ; D. Galmiche [France, Allemagne] ; M. Martelli [Italie, Allemagne] | A specification logic for concurrent object-oriented programming |
00A926 |
Antonella De Angeli [Italie] ; Fréderic Wolff [France] ; Laurent Romary [France] ; Walter Gerbino [Italie] | The Ecological Approach to Multimodal System Design |
00A933 |
Roberto Di Cosmo [France] ; Stefano Guerrini [Italie] | Strong Normalization of Proof Nets Modulo Structural Congruences |
00A990 |
Egon Börger [Italie] | High Level System Design and Analysis Using Abstract State Machines |
00AA02 |
P. Orlandi [Italie] ; G. F. Carnevale [États-Unis] | Evolution of isolated vortices in a rotating fluid of finite depth |
00AA05 |
Antonella De Angeli [Italie] ; Laurent Romary [France, Italie] ; Frederic Wolff [France] | Ecological Interfaces: Extending the Pointing Paradigm by Visual Context |
00AA66 |
C. Demartini [Italie] ; R. Iosif [Italie] ; C. Raibulet [Italie] ; J. P. Thomesse [France] | A DBR-Based Approach for System Management |
00AA81 |
A. Ginzburg [Italie] ; S.-M. Passone | Proust : le miracle de l'analogie |
00AC16 |
Antonella De Angeli [Italie] ; Frédéric Wolff [France] ; Laurent Romary [France] ; Walter Gerbino [Italie] | The ecological approach to multimodal system design |
00AD20 |
Antonella De Angeli [Italie] ; Laurent Romary [France] ; Frédéric Wolff [France] | Ecological Interfaces: Extending the Pointing Paradigm by Visual Context |
00B322 |
Gianpaolo Cugola [Italie] ; Carlo Ghezzi [Italie] | Software processes: a retrospective and a path to the future |
00B352 |
Roberto Segala [Italie] ; Rainer Gawlick ; J Rgen S Gaard-Andersen [Danemark] ; Nancy Lynch | Liveness in Timed and Untimed Systems |
00B437 |
M. Omologo [Italie] ; P. Svaizer [Italie] ; M. Matassoni [Italie] | Environmental conditions and acoustic transduction in hands-free speech recognition |
00BF70 |
Mario Fracchia [Italie] ; Kenneth D. R. Setchell [États-Unis] ; Andrea Crosignani [Italie] ; Mauro Podda [Italie] ; Nancy O'Connell [États-Unis] ; Roberto Ferraris [Italie] ; Alan F. Hofmann [États-Unis] ; Giovanni Galatola [Italie] | Bile acid conjugation in early stage cholestatic liver disease before and during treatment with ursodeoxycholic acid |
00BF76 |
Paolo Ciancarini [Italie] | An overview of declarative process modelling using logic programming |
00C030 |
Carlo Montangero [Italie] | Report on the Fifth European Workshop on Software Process Technology |
00C058 |
Norbert Schappacher [France] ; Erhard Scholz [Allemagne] ; Atdo Scimone [Italie] ; Manfred Schroeder [Allemagne] ; Heinz Götze [Allemagne] | Letters to the editor |
00C775 |
X. J. Chen [Italie] ; C. Montangero [Italie] | Compositional refinements in multiple blackboard systems |
00D149 |
Antonio Di Leva [Italie] ; Piercarlo Giolito [Italie] ; François Vernadat [France] | M*-OBJET : méthodologie d’intervention pour l’analyse et la conception des systèmes d’information de productique |
00D157 |
Daniel Barlet [France] ; Alessandro Silva [Italie] | Convexité holomorphe intermediaire |
00D174 |
Alberto Pettorossi [Italie] ; Maurizio Proietti [Italie] | Rules and strategies for program transformation |
00D175 |
Sergio Bandinelli [Italie] ; Luciano Baresi [Italie] ; Alfonso Fuggetta [Italie] ; Luigi Lavazza [Italie] | Requirements and early experiences in the implementation of the SPADE repository using object-oriented technology |
00D195 |
S. Chevret [France] ; M. Hemmer [Luxembourg (pays)] ; J. Carlet [France] ; M. Langer [Italie] | Incidence and risk factors of pneumonia acquired in intensive care units |
00D228 |
Paola Inverardi [Italie] ; Monica Nesi [Royaume-Uni] | A strategy to deal with divergent rewrite systems |
00D625 |
Reidar Conradi [Norvège] ; Christer Fernström [France] ; Alfonso Fuggetta [Italie] ; Robert Snowdon [Royaume-Uni] | Towards a reference framework for process concepts |
00D647 |
John Favaro [Italie] | Process modelling at the European Space Agency |
00D648 |
S. Bandinelli [Italie] ; A. Fuggetta [Italie] ; C. Ghezzi [Italie] ; S. Grigolli [Italie] | Process enactment in SPADE |
00D655 |
Vincenzo Ambriola [Italie] ; Carlo Montangero [Italie] | Oikos at the age of three |
00D666 |
Letizia Jaccheri [Italie] ; Silvano Gai [Italie] | Initial requirements for E 3: An environment for experimenting and evolving software processes |
00D682 |
Reidar Conradi [Norvège, Italie] ; M. Letizia Jaceheri [Norvège, Italie] ; Cristina Mazzi [Norvège, Italie] ; Minh Ngoc Nguyen [Norvège, Italie] ; Amund Aarsten [Norvège, Italie] | Design, use and implementation of SPELL, a language for software process modeling and evolution |
00DA31 |
G. Ambrosone [Italie] ; S. Catalanotti [Italie] ; U. Coscia [Italie] ; G. Troise [Italie] | Validation of a simulation program for photovoltaic systems |
00DA45 |
G. Marongiu [Italie] ; S. Tulipani [Italie] | Quantifier elimination for infinite terms |
00DA66 |
J. R. Larre [Italie] ; N. Alfaro [Italie] ; J. J. Galán [Italie] ; J. Garbajosa [Italie] | Introducing HOOD into software process modelling based environments |
00DD84 |
P. Inverardi [Italie] ; M. Nesi [Italie] | A rewriting strategy to verify observational congruence |
00DE07 |
R. De Nicola [Italie] ; P. Inverardi [Italie] ; M. Nesi [Italie] | Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications |
00DE24 |
D. Commenges ; J. F. Dartigues ; Carla Rossi [Italie] | Prognostic of glial tumours |
00E060 |
Fabrizio Luccio [Italie] ; Mireille Régnier [France] ; René Schott [France] | Discs and other related data structures |
00E062 |
Viorel Arn Utu [Roumanie] ; Viorel Barbu [Roumanie] ; Vincenzo Capasso [Italie] | Controlling the spread of a class of epidemics |
00E632 |
A. Fantechi [Italie] ; S. Gnesi [Italie] ; P. Inverardi [Italie] ; U. Montanari [Italie] | An execution environment for the formal definition of Ada |
00ED84 |
P. Demichelis [Italie] ; R. De Mori [Italie] ; P. Laface [Italie] | Interaction Between Auditory, Syllabic and Lexical Knowledge in a Speech Understanding System |
00EE77 |
Patrick Cousot [France] ; Radhia Cousot [Italie] | Semantic analysis of communicating sequential processes |
00EE93 |
Renato De Mori [Italie] | Recent advances in automatic speech recognition |
00F003 |
Massimo Martinazzi [Italie] ; Liborio Rinaldi [Italie] | La gestione e l’automazione del laboratorio utilizzando « part-time » un elaboratore elettronico di un sistema ospedaliero centralizzato e integrato. Realizzazioni possibili in un ospedale medio |
00F192 |
Maria Paola Loria [Italie] ; Porzia Dambra ; Laura Capuzzimati ; Adriana Dell'Osso ; Rossella Crollo ; Giacoma De Tullio ; Elena Lasaracina ; Alfredo Tursi | Cytokine/Chemokine HLDA8 Workshop panel report: analysis of receptors on lymphocytes from cord blood, normal and asthmatic subjects, and HIV positive patients. |